OLBIAN TERRACOTTA BUSTS WITH HANDMADE CUPS AND ADORNMENTS

Proving Termination with Adornments

Proving termination is one of the most intriguing problems of program verification. Recently, the study of termination of numerical programs led to the emerging of the adorning technique. This approach is based on the idea of distinguishing between different subsets of values for variables, and deriving piecewise level mappings based on these subsets. In the current paper we generalise the tech...

Booms, Busts, and Divorce.

For almost a century, anecdotes have suggested that divorce rates decline during recessions. However, until very recently there has been surprisingly little formal empirical evidence on whether such a link exists, let alone its magnitude if it does. Moreover, the anticipated direction of the effect is ambiguous theoretically. Although previous studies have concluded that individual job loss des...

the past hospitalization and its association with suicide attempts and ideation in patients with mdd and comparison with bmd (depressed type) group

چکیده ندارد.

Real and Financial Industry Booms and Busts

We examine how product market competition affects firm cash flows and stock returns in industry booms and busts. Our results show how real and financial factors interact in industry business cycles. In competitive industries, we find that high industry-level stock market valuation, investment, and financing are followed by sharply lower operating cash flows and abnormal stock returns. Analyst e...

Booms and Busts, Bubbles and Crashes